Dependability modeling and analysis of software systems specified with UML
نویسندگان
چکیده
منابع مشابه
An UML profile for dependability analysis and modeling of software systems
In this document we define the Dependability Analysis Modelling profile, namely DAM profile. The process of deriving a DAM profile has been going through several steps. First of all, an in depth analysis of the literature has been carried out, in order to collect in a checklist the information requirements for the profile. Then a two-step approach for the profile definition has been followed. I...
متن کاملDependability Modeling and Assessment in UML-Based Software Development
Assessment of software nonfunctional properties (NFP) is an important problem in software development. In the context of model-driven development, an emerging approach for the analysis of different NFPs consists of the following steps: (a) to extend the software models with annotations describing the NFP of interest; (b) to transform automatically the annotated software model to the formalism c...
متن کاملDependability Modeling and Evaluation of Software Fault-Tolerant Systems
Abstmct-The paper provides dependability modeling and evaluation (encompassing reliability and safety issues) of the two major fault tolerance software approaches: recovery Mocks (RB) and N-version programming (NVP). The study is based on the detailed analysis of software fault-tolerance architectures able to tolerate a single fault (RB: two alternates and an acceptance test, NVP: three version...
متن کاملAutomated Dependability Analysis of UML Designs
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems dependability attributes, like reliability. The transformation concentrates on structural UML views, available early in the design, to operate at different levels of refinement, and tries to capture only the information...
متن کاملSoftware Dependability Modeling Using AADL (Architecture Analysis and Design Language)
In traditional development processes, each type of analysis is generally based on a dedicated model, which requires substantial amount of training to be used effectively. Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the dependability of an application. This...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Computing Surveys
سال: 2012
ISSN: 0360-0300,1557-7341
DOI: 10.1145/2379776.2379778